home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.tree;
-
- import java.awt.Component;
- import java.awt.Container;
- import java.awt.Dimension;
- import java.awt.Font;
- import javax.swing.JTextField;
- import javax.swing.border.Border;
- import javax.swing.plaf.FontUIResource;
-
- public class DefaultTreeCellEditor$DefaultTextField extends JTextField {
- // $FF: synthetic field
- private final DefaultTreeCellEditor this$0;
- protected Border border;
-
- public DefaultTreeCellEditor$DefaultTextField(DefaultTreeCellEditor var1, Border var2) {
- this.this$0 = var1;
- this.border = var2;
- }
-
- public Border getBorder() {
- return this.border;
- }
-
- public Font getFont() {
- Font var1 = super.getFont();
- if (var1 instanceof FontUIResource) {
- Container var2 = ((Component)this).getParent();
- if (var2 != null && ((Component)var2).getFont() != null) {
- var1 = ((Component)var2).getFont();
- }
- }
-
- return var1;
- }
-
- public Dimension getPreferredSize() {
- Dimension var1 = super.getPreferredSize();
- if (this.this$0.renderer != null && this.this$0.getFont() == null) {
- Dimension var2 = this.this$0.renderer.getPreferredSize();
- var1.height = var2.height;
- }
-
- return var1;
- }
- }
-